$\forall$$i$:Id, $A$:Top. (@$i$: $A$($i$)) $\sim$ $A$